This paper discusses the relation between the minimal positive relevant logic B and intersection and union type theories. There is a marvelous coincidence between these very differently motivated research areas. First, we show a perfect fit between the Intersection Type Discipline ITD and the tweaking BT of B, which saves implication and conjunction but drops disjunction . The filter models of the -calculus (and its intimate partner Combinatory Logic CL) of the first author and her coauthors then become theory models (...) of these calculi. (The logician's "theory" is the algebraist's "filter".) The coincidence extends to a dual interpretation of key particles—the subtype translates to provable , type intersection to conjunction , function space to implication, and whole domain to the (trivially added but trivial) truth T. This satisfying ointment contains a fly. For it is right, proper, and to be expected that type union should correspond to the logical disjunction of B. But the simulation of functional application by a fusion (or modus ponens product) operation on theories leaves the key Bubbling lemma of work on ITD unprovable for the -prime theories now appropriate for the modeling. The focus of the present paper lies in an appeal to Harrop theories which are (a) prime and (b) closed under fusion. A version of the Bubbling lemma is then proved for Harrop theories, which accordingly furnish a model of and CL. (shrink)

The Logic R4 is obtained by adding the axiom □(A v B) → (◇A v □B) to the modal relevant logic NR. We produce a model theory for this logic and show completeness. We also show that there is a natural embedding of a Kripke model for S4 in each R4 model structure.

The system B+ is the minimal positive relevant logic. B+ is trivially extended to B+T on adding a greatest truth (Church constant) T. If we leave ∨ out of the formation apparatus, we get the fragment B∧T. It is known that the set of ALL B∧T theories provides a good model for the combinators CL at Level-I, which is the theory level. Restoring ∨ to get back B+T was not previously fruitful at Level-I, because the set of all B+T theories (...) is NOT a model of CL. It was to be expected from semantic completeness arguments for relevant logics that basic combinator laws would hold when restricted to PRIME B+T theories. Overcoming some previous difficulties, we show that this is the case, at Level I. But this does not form a model for CL. This paper also looks for corresponding results at Level-II, where we deal with sets of theories that we call propositions. We adapt work by Ghilezan to note that at Level-II also there is a model of CL in B∧T propositions. However, the corresponding result for B+T propositions extends smoothly to Level-II only in part. Specifically, only some of the basic combinator laws are proved here. We accordingly leave some work for the reader. (shrink)

A major question for the relevant logics has been, “Under what conditions is Ackermann's ruleγ from -A ∨B andA to inferB, admissible for one of these logics?” For a large number of logics and theories, the question has led to an affirmative answer to theγ problem itself, so that such an answer has almost come to be expected for relevant logics worth taking seriously. We exhibit here, however, another large and interesting class of logics-roughly, the Boolean extensions of theW — (...) free relevant logics (and, precisely, the well-behaved subsystems of the 4-valued logicBN4) — for which γ fails. (shrink)

Modus ponens provides the central theme. There are laws, of the form A→C. A logic L collects such laws. Any datum A provides input to the laws of L. The central ternary relation R relates theories L,T and U, where U consists of all of the outputs C got by applying modus ponens to major premises from L and minor premises from T. Underlying this relation is a modus ponens product operation on theories L and T, whence RLTU iff LTU. (...) These ideas have been expressed, especially with Routley, as worlds semantics for relevant and other substructural logics.Worlds are best demythologized as theories, subject to truth-functional and other constraints. The chief constraint is that theories are taken as closed under logical entailment, which clearly begs the question if we are using the semantics to determine which theory L is Logic itself. Instead we draw the modal logicians’ conclusion—there are many substructural logics, each with its appropriate ternary relational postulates.Each logic L gives rise to a Calculus of L-theories, on which particular candidate logical axioms have the combinatorial properties expected from the well-known Curry–Howard isomorphism . We apply their bubbling lemma, updating the Fools Model of Combinatory Logic at the pure → level for the system BT. We make fusion an explicit connective, proving a combinator correspondence theorem. Having taken relevant → as a left residual for , we explore its right residual mate →r. Finally we concentrate on and prove a finite model property for the classical minimal relevant logic CB, a conservative extension of the minimal positive relevant logic B+. (shrink)

C I Lewis showed up Down Under in 2005, in e-mails initiated by Allen Hazen of Melbourne. Their topic was the system Hazen called FL (a Funny Logic), axiomatized in passing in Lewis 1921. I show that FL is the system MEN of material equivalence with negation. But negation plays no special role in MEN. Symbolizing equivalence with → and defining ∼A inferentially as A→f, the theorems of MEN are just those of the underlying theory ME of pure material equivalence. (...) This accords with the treatment of negation in the Abelian l-group logic A of Meyer and Slaney (Abelian logic. Abstract, Journal of Symbolic Logic 46, 425–426, 1981), which also defines ∼A inferentially with no special conditions on f. The paper then concentrates on the pure implicational part AI of A, the simple logic of Abelian groups. The integers Z were known to be characteristic for AI, with every non-theorem B refutable mod some Zn for finite n. Noted here is that AI is pre-tabular, having the Scroggs property that every proper extension SI of AI, closed under substitution and detachment, has some finite Zn as its characteristic matrix. In particular FL is the extension for which n = 2 (Lewis, The structure of logic and its relation to other systems. The Journal of Philosophy 18, 505–516, 1921; Meyer and Slaney, Abelian logic. Abstract. Journal of Symbolic Logic 46, 425–426, 1981; This is an abstract of the much longer paper finally published in 1989 in G. G. Priest, R. Routley and J. Norman, eds., Paraconsistent logic: essays on the inconsistent, Philosophica Verlag, Munich, pp. 245–288, 1989). (shrink)

C I Lewis showed up Down Under in 2005, in e-mails initiated by Allen Hazen of Melbourne. Their topic was the system Hazen called FL (a Funny Logic), axiomatized in passing in Lewis 1921. I show that FL is the system MEN of material equivalence with negation. But negation plays no special role in MEN. Symbolizing equivalence with → and defining ∼A inferentially as A→f, the theorems of MEN are just those of the underlying theory ME of pure material equivalence. (...) This accords with the treatment of negation in the Abelian l-group logic A of Meyer and Slaney (Abelian logic. Abstract, Journal of Symbolic Logic 46, 425–426, 1981), which also defines ∼A inferentially with no special conditions on f. The paper then concentrates on the pure implicational part AI of A, the simple logic of Abelian groups. The integers Z were known to be characteristic for AI, with every non-theorem B refutable mod some Zn for finite n. Noted here is that AI is pre-tabular, having the Scroggs property that every proper extension SI of AI, closed under substitution and detachment, has some finite Zn as its characteristic matrix. In particular FL is the extension for which n = 2 (Lewis, The structure of logic and its relation to other systems. The Journal of Philosophy 18, 505–516, 1921; Meyer and Slaney, Abelian logic. Abstract. Journal of Symbolic Logic 46, 425–426, 1981; This is an abstract of the much longer paper finally published in 1989 in G. G. Priest, R. Routley and J. Norman, eds., Paraconsistent logic: essays on the inconsistent, Philosophica Verlag, Munich, pp. 245–288, 1989). (shrink)

THIS PAPER ARGUES, AGAINST A. O. LOVEJOY AND WITH R. B.\nPERRY, THAT JAMES' THEORY OF MEANING DOES NOT CONFUSE\nCONSEQUENCES OF BELIEVING AND CONSEQUENCES OF THE\nSTATEMENTS BELIEVED. RATHER, I ARGUE THAT JAMES HOLDS THAT\nTHE MEANING OF A SYNTHETIC STATEMENT IS TO BE FOUND IN ITS\nPERCEPTUAL CONSEQUENCES WHILE CONSEQUENCES OF BELIEVING ARE\nRELEVANT TO 'JUSTIFYING' OVERBELIEFS; THAT IS, TO\nJUSTIFYING MEANINGFUL STATEMENTS FOR WHICH THE EVIDENCE IS\nINSUFFICIENT TO PROVIDE A RATIONAL, NON-PASSIONAL\nJUSTIFICATION. ALTHOUGH THIS THEORY OF MEANING APPEARS\nANTI-METAPHYSICAL, JAMES DOES NOT USE IT TO RULE (...) OUT\nMETAPHYSICS BECAUSE HE BELIEVES, ALONG WITH COMMON SENSE,\nTHAT METAPHYSICAL DOCTRINES ARE MEANINGFUL; THUS, THE\nQUESTION IS WHAT METAPHYSICAL DOCTRINES MEAN AND NOT\nWHETHER THEY ARE MEANINGFUL. ALTHOUGH JAMES IS OFTEN\nMISLEADING IN TALKING ABOUT MEANING, I ARGUE THAT THIS\nINTERPRETATION IS SUPPORTED BY HIS NUMEROUS DISCUSSIONS OF\nMETAPHYSICS. PAUL HENLE'S ATTEMPT TO PROVIDE A FAVORABLE\nINTERPRETATION OF JAMES WITHIN LOVEJOY'S FRAMEWORK, IS ALSO\nSHOWN TO BE INCOHERENT. (shrink)

The project of this book is to establish that Aristotle, contrary to what some have thought, did have a theory of distinctively "moral" responsibility, and one that is consistent with determinism. It is stipulated early on that having a theory of moral responsibility is a matter of first identifying the proper objects of peculiarly moral evaluation and thus specifying the range of responsible agents, and then identifying the actions for which those responsible agents are responsible. Aristotle’s account of moral character (...) is supposed to do the former. The latter is accomplished with his account of voluntariness. I will begin with that. (shrink)

Important features of the self-concept can be located outside of the individual and inside close or related others. The authors use this insight to reinterpret data previously said to support the empathy-altruism model of helping, which asserts that empathic concern for another results in selflessness and true altruism. That is, they argue that the conditions that lead to empathic concern also lead to a greater sense of self-other overlap, raising the possibility that helping under these conditions is not selfless but (...) is also directed toward the self. In 3 studies, the impact of empathic concern on willingness to help was eliminated when oneness--a measure of perceived self-other overlap--was considered. Path analyses revealed further that empathic concern increased helping only through its relation to perceived oneness, thereby throwing the empathy-altruism model into question. The authors suggest that empathic concern affects helping primarily as an emotional signal of oneness. (shrink)

While John B. Watson articulated the intellectual commitments of behaviorism with clarity and force, wove them into a coherent perspective, gave the perspective a name, and made it a cause, these commitments had adherents before him. To document the origins of behaviorism, this series collects the articles that set the terms of the behaviorist debate, includes the most important pre-Watsonian contributions to objectivism, and reprints the first full text of the new behaviorism. Contents: Functionalism, the Critque of Introspection, and the (...) Nature and Evolution of Consciousness: Theoretical Roots of Early Behaviourism: An Anthology [1842-1914] Robert H. Wozniak (Ed) 360 pp Studies of Animal and Infant Behaviour. the Experimental and Comparative Roots of Early Behaviourism: An Anthology [1840-1911] Robert H. Wozniak (Ed) 412 pp An Introuduction to Comparative Psychology [1894 edition] Conway Lloyd Morgan 628 pp Comparative Physiology of the Brain and Comparative Psychology [1900] Jacques Loeb 342 pp Fundamental Laws of Human Behaviour. Lectures on the foundtions of Any Mental or Social Science [1911] Max F. Meyer 264 pp Behaviour. An Introduction to Comparative Psychology [1914 edition] John B. Watson 482 pp. (shrink)

It is argued that at the center of Hegel’s phenomenology of consciousness is the notion that experience is shaped by identification and sacrifice. Experience is the process of self - constitution and self -transformation of a self -conscious being that risks its own being. The transition from desire to recognition is explicated as a transition from the tripartite structure of want and fulfillment of biological desire to a socially structured recognition that is achieved only in reciprocal recognition, or reflexive recognition. (...) At the center of the Hegelian notion of selfhood is thus the realization that selves are the locus of accountatibility. To be a self, it is concluded, is to be the subject of normative statuses that refer to commitments; it means to be able to take a normative stand on things, to commit oneself and undertake responsibilities. Key Words: commitments • desire • experience • G.W.F.Hegel • identity • recognition • risk • sacrifice • self -consciousness • self - constitution. (shrink)

Some Pragmatist Themes in Hegel’s Idealism:Negotiation and Administration in Hegel’sAccount of the Structure and Content ofConceptual NormsRobert B. BrandomThis paper could equally well have been titled ‘Some Idealist Themes in Hegel’sPragmatism’. Both idealism and pragmatism are capacious concepts, encompassingmany distinguishable theses. I will focus on one pragmatist thesis and one ideal-ist thesis (though we will come within sight of some others). The pragmatistthesis (what I will call ‘the semantic pragmatist thesis’) is that the use of conceptsdetermines their content, that is, (...) that concepts can have no content apart from thatconferred on them by their use. The idealist thesis is that the structure and unityof the concept is the same as the structure and unity of the self. The semantic prag-matist thesis is a commonplace of our Wittgensteinean philosophical world. Theidealist thesis is, to say the least, not. I don’t believe there is any serious contem-porary semantic thinker who is pursuing the thought that concepts might best beunderstood by modelling them on selves. Indeed, from the point of view ofcontemporary semantics it is hard to know even what one could mean by such athought: what relatively unproblematic features of selves are supposed to illumi-nate what relatively problematic features of concepts? Why should we think thatunderstanding something about, say, personal identity would help us under-stand issues concerning the identity and individuation of concepts? From acontemporary point of view, the idealist semantic thesis is bound to appearinitially as something between unpromising and crazy.My interpretive claim here will be that the idealist thesis is Hegel’s way of makingthe pragmatist thesis workable, in the context of several other commitments andinsights. My philosophical claim here will be that we actually have a lot to learn fromthis strategy about contemporary semantic issues that we by no means see our wayto the bottom of otherwise. In the space of this essay, I cannot properly justify thefirst claim textually, nor the second argumentatively. I will confine myself of neces-sity to sketching the outlines and motivations for the complex, sophisticated, andinteresting view on the topic I find Hegel putting forward. (shrink)

In Overdoing Democracy, Robert B. Talisse turns the popular adage "the cure for democracy's ills is more democracy" on its head. Indeed, he argues, the widely recognized, crisis-level polarization within contemporary democracy stems from the tendency among citizens to overdo democracy. When we make everything--even where we shop, the teams we cheer for, and the coffee we drink--about our politics, we weaken our bonds to one another, and work against the fundamental goals of democracy. Talisse advocates civic friendship built (...) around shared endeavors that we must undertake with fellow citizens who do not necessarily share our political affinities as the best way we can obtain a healthier, more sustainable democracy. (shrink)

This is the first book-length study in any language to examine in detail and critically assess the second part of Kant's ethics- -an empirical, impure part, which determines how best to apply pure principles to the human situation. Drawing attention to Kant's under-explored impure ethics, this revealing investigation refutes the common and long-standing misperception that Kants ethics advocates empty formalism. Making detailed use of a variety of Kantian texts never before translated into English, author Robert B. Louden reassesses the (...) strengths and weaknesses of Kantian ethics as a whole, once the second part is re-admitted to its rightful place within Kant's practical philosophy. (shrink)

One of the most important developments in the theory of knowledge during the past two decades has been a shift in emphasis to concern with issues of the reliability of various processes of belief formation. One way of arriving at beliefs is more reliable than another in a specified set of circumstances just insofar as it is more likely, in those circumstances, to produce a true belief. Classical epistemology, taking its cue from Plato, understood knowledge as justified true belief. While (...) Gettier had raised questions about the joint sufficiency of those three conditions, it is only more recently that their individual necessity was seriously questioned. What I will call the "Founding Insight" of reliabilist epistemologies is the claim that true beliefs can, at least in some cases, amount to genuine knowledge even where the justification condition is not met (in the sense that the candidate knower is unable to produce suitable justifications), provided the beliefs resulted from the exercise of capacities that are reliable producers of true beliefs in the circumstances in which they were in fact exercised. (shrink)

Philosophy and Phenomenological Research, Volume 103, Issue 3, Page 741-760, November 2021.

Why democracy? Most often this question is met with an appeal to some decidedly moral value, such as equality, liberty, dignity or even peace. But in contemporary democratic societies, there is deep disagreement and conflict about the precise nature and relative worth of these values. And when democracy votes, some of those who lose will see the prevailing outcome as not merely disappointing, but morally intolerable. How should citizens react when confronted with a democratic result that they regard as intolerable? (...) Should they revolt, or instead pursue democratic means of social change? In this book, Robert Talisse argues that each of us has reasons to uphold democracy - even when it makes serious moral errors - and that these reasons are rooted in our most fundamental epistemic commitments. His original and compelling study will be of interest to a wide range of readers in political philosophy and political theory. (shrink)

In Kant's Human Being, Robert B. Louden continues and deepens avenues of research first initiated in his highly acclaimed book, Kant's Impure Ethics.

This fresh and original book argues that the central questions in Hegel's practical philosophy are the central questions in modern accounts of freedom: What is freedom, or what would it be to act freely? Is it possible so to act? And how important is leading a free life? Robert Pippin argues that the core of Hegel's answers is a social theory of agency, the view that agency is not exclusively a matter of the self-relation and self-determination of an individual (...) but requires the right sort of engagement with and recognition by others. Using a detailed analysis of key Hegelian texts, he develops this interpretation to reveal the bearing of Hegel's claims on many contemporary issues, including much-discussed core problems in the liberal democratic tradition. His important study will be valuable for all readers who are interested in Hegel's philosophy and in the modern problems of agency and freedom. (shrink)

Pragmatism's ambiguous legacy -- Can democracy be a way of life? -- Peirce, inquiry, and politics -- Pluralism and the Peircean view -- Posner's pragmatic realism -- The case of Sidney Hook -- Epilogue : the eclipse narrative revisited.

This is the most important book on Hegel to have appeared in the past ten years. The author offers a completely new interpretation of Hegel's idealism that focuses on Hegel's appropriation and development of Kant's theoretical project. Hegel is presented neither as a pre-critical metaphysician nor as a social theorist, but as a critical philosopher whose disagreements with Kant, especially on the issue of intuitions, enrich the idealist arguments against empiricism, realism, and naturalism. In the face of the dismissal of (...) absolute idealism as either unintelligible or implausible, Pippin explains and defends an original account of the philosophical basis for Hegel's claims about the historical and social nature of self-consciousness and of knowledge itself. (shrink)

We introduce two extreme methods to pairwisely compare ordered lists of the same length, viz. the comonotonic and the countermonotonic comparison method, and show that these methods are, respectively, related to the copula TM (the minimum operator) and the Ł ukasiewicz copula TL used to join marginal cumulative distribution functions into bivariate cumulative distribution functions. Given a collection of ordered lists of the same length, we generate by means of TM and TL two probabilistic relations QM and QL and identify (...) their type of transitivity. Finally, it is shown that any probabilistic relation with rational elements on a 3-dimensional space of alternatives which possesses one of these types of transitivity, can be generated by three ordered lists and at least one of the two extreme comparison methods. (shrink)

Democracy is not only a form of government. It is also the moral aspiration for a society of self-governing political equals who disagree about politics. Citizens are called on to be active democratic participants, but they must also acknowledge one another's political equality. Democracy thus involves an ethic of civility among opposed citizens. Upholding this ethic is more difficult than it may look. When the political stakes are high, the opposition seems to us tobe advocating injustice. Sustaining Democracy poses the (...) question: why should we uphold democratic relations with those whose politics we despise? (shrink)

In Kant's Human Being, Robert B. Louden continues and deepens avenues of research first initiated in his highly acclaimed book, Kant's Impure Ethics.

During the last decade of his life, Rorty emphasized the anti-authoritarian credentials of his pragmatism. He came to see pragmatism as the fighting faith of a second phase of the Enlightenment. The first stage, as Rorty construed it, concerns our emancipation from nonhuman authority in practical matters: issues of what we ought to do and how things ought to be. The envisaged second stage addresses rather our emancipation from nonhuman authority in theoretical matters. Pragmatism moves beyond the traditional model of (...) reality as authoritative over our cognitive representations of it in language and thought to a new conception of how discursive practices help us cope with the vicissitudes of life. Hegel anticipates the challenge to the very idea of objective reality as providing norms for thought that Rorty thought required us to enact a second phase of the Enlightenment. Unlike Rorty, Hegel presents a detailed, constructive, anti-authoritarian, nonfetishistic, social pragmatist account of the representational dimension of conceptual content. At its heart is an account of the social dimension of discursive normativity in terms of reciprocal recognition, and an account of the historical dimension of discursive normativity in terms of a distinctive new conception of reason: the recollective rationality that turns a past into a tradition. His idealism thereby offers a concrete pragmatist alternative to Rorty’s global semantic and epistemological anti-representationalism. (shrink)

In this reflection I address one of the critical questions this monograph is about: How to justify proposing yet another semantic theory in the light of Wittgenstein’s strong warnings against it. I see two clear motives for Wittgenstein’s semantic nihilism. The first one is the view that philosophical problems arise from postulating hypothetical entities such as “meanings”. To dissolve the philosophical problems rather than create new ones, Wittgenstein suggests substituting “meaning” with “use” and avoiding scientism in philosophy together with the (...) urge to penetrate in one's investigation to unobservable depths. I believe this first motive constitutes only a weak motive for Wittgenstein’s quietism, because there are substantial differences between empirical theories in natural sciences and semantic theories in philosophy that leave Wittgenstein’s assimilation of both open to criticism. But Wittgenstein is right, on the second motive, that given the dynamic character of linguistic practice, the classical project of semantic theory is a disease that can be removed or ameliorated only by heeding the advice to replace concern with meaning by concern with use. On my view, this does not preclude, however, a different kind of theoretical approach to meaning that avoids the pitfalls of the Procrustean enterprise Wittgenstein complained about. (shrink)

Contemporary philosophers have grown increasingly skeptical toward both morality and moral theory. Some argue that moral theory is a radically misguided enterprise that does not illuminate moral practice, while others simply deny the value of morality in human life. In this important new book, Louden responds to the arguments of both "anti-morality" and "anti-theory" skeptics. In Part One, he develops and defends an alternative conception of morality, which, he argues, captures more of the central features of both Aristotelian and Kantian (...) ethics than do other contemporary models, and enables the central importance of morality to be convincingly reaffirmed. In Louden's model, morality is primarily a matter of what one does to oneself, rather than what one does or does not do to others. This model eliminates the gulf that many anti-morality critics say exists between morality's demands and the personal point of view. Louden further argues that morality's primary focus should be on agents and their lives, rather than on right actions, and that it is always better to be morally better--i.e. it is impossible to be "too moral." Part Two presents Louden's alternative conception of moral theory. Here again he draws on the work of Aristotle and Kant, showing that their moral theories have far more in common than is usually thought, and that those features that they share can be the basis for a viable moral theory that is immune to the standard anti-theory objections. Louden reaffirms the necessity and importance of moral theory in human life, and shows that moral theories fulfill a variety of genuine and indispensable human needs. (shrink)